- 2 402 202 книги
- Поиск
La Catastrophe: The Eruption of Mount Pelee, the Worst Volcanic Disaster of the 20th Century
Автор: Alwyn Scarth
Размер книги: 36.44 Mb
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers (Lecture Notes in Computer Science Programming and Software Engineering)
Автор: Saddek Bensalem, Автор: Doron A. PeledКатегория: Компьютеры
Размер книги: 2.38 Mb
Shattered Vessels: Memory, Identity, and Creation in the Work of David Shahar (Suny Series in Modern Jewish Literature and Culture)
Автор: Michal Peled Ginsburg, Автор: Moshe RonКатегория: Литература, Литературоведение
Размер книги: 999 Kb
Time for Verification: Essays in Memory of Amir Pnueli (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)
Автор: Zohar Manna, Автор: Doron A. PeledКатегория: Компьютеры
Размер книги: 3.93 Mb
The New Israel: Peacemaking and Liberalization
Автор: Gershon Shafir, Автор: Yoav Peled
Размер книги: 32.56 Mb
The New Israel: Peacemaking and Liberalization
Автор: Gershon Shafir, Автор: Yoav Peled
Размер книги: 32.56 Mb
Model Checking
Автор: Edmund M. Clarke Jr., Автор: Orna Grumberg, Автор: Doron A. Peled
Размер книги: 2.13 Mb
Ethnic Challenges to the Modern Nation-state
Автор: Shlomo Ben-Ami, Автор: Yoav Peled, Автор: Alberto Spektorowski
Размер книги: 1.62 Mb
Threshold Graphs and Related Topics (Annals of Discrete Mathematics, Volume 56)
Автор: N.V.R. Mahadev, Автор: U.N. PeledКатегория: Математика
Размер книги: 11.46 Mb
Being Israeli: The Dynamics of Multiple Citizenship (Cambridge Middle East Studies)
Автор: Gershon Shafir, Автор: Yoav PeledКатегория: Образование
Размер книги: 1.30 Mb
Software Reliability Methods
Автор: Peled D.A.Категория: Cs_Computer science, CsAl_Algorithms
Размер книги: 2.59 Mb
Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers ... Lecture Notes in Artificial Intelligence)
Автор: Doron A. Peled, Автор: Michael Wooldridge
Размер книги: 3.68 Mb
Kimo and Madame Pele (The House on the Volcano)
Автор: Nielsen VirginiaКатегория: fiction
Размер книги: 18.10 Mb
Пелядь Coregonus peled (Gmelin 1788): Систематика, экология, морфология, продуктивность.
Автор: Решетников Ю.С. и др.Категория: Животные
Размер книги: 7.69 Mb
Model checking
Автор: Edmund M. Clarke Jr., Автор: Orna Grumberg, Автор: Doron A. PeledКатегория: Computer science, Algorithms
Размер книги: 1.88 Mb
Model checking
Автор: Edmund M. Clarke Jr., Автор: Orna Grumberg, Автор: Doron A. Peled
Размер книги: 3.22 Mb
Photo-Excited Processes, Diagnostics and Applications: Fundamentals and Advanced Topics (Kluwer 2003)
Автор: A. PeledКатегория: Optics
Размер книги: 6.27 Mb
Photo-Excited Processes, Diagnostics and Applications. Fundamentals and Advanced Topics
Автор: A. Peled
Размер книги: 7.45 Mb
Computer Aided Verification, 16 conf., CAV 2004
Автор: Rajeev Alur, Автор: Doron A. PeledКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 9.94 Mb
Computer Aided Verification, 11 conf., CAV '99
Автор: Nicolas Halbwachs, Автор: Doron PeledКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 5.03 Mb
Verification, Model Checking, and Abstract Interpretation, 9 conf., VMCAI 2008
Автор: Francesco Logozzo, Автор: Doron A. Peled, Автор: Leonore D. ZuckКатегория: CsLn_
Размер книги: 3.97 Mb
NeuroAnalysis: Bridging the Gap between Neuroscience, Psychoanalysis and Psychiatry
Автор: Avi Peled
Размер книги: 1.22 Mb
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)
Автор: Saddek Bensalem, Автор: Doron A. Peled
Размер книги: 2.74 Mb
Threshold Graphs and Related Topics, Volume 56 (Annals of Discrete Mathematics)
Автор: N.V.R. Mahadev, Автор: U.N. Peled
Размер книги: 21.45 Mb
Formal Techniques for Networked and Distributed Systems - FORTE 2002
Автор: Doron A. Peled, Автор: Moshe Y. Vardi
Размер книги: 4.63 Mb